1. Discrete, continuous, and hybrid Petri Net
پدیدآورنده : / Renae David and Hassane Alla
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Petri nets,Mathematics
رده :
QA267
.
D36
2010
2. Formal and natural computing : essays dedicated to Grzegorz Rozenberg
پدیدآورنده : Wilfried Brauer...]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : ، Programming languages )Electronic computers(,، Computer science -- Mathematics,، Machine theory,، Petri nets,، Graph grammars,، Rozenberg, Grzegorz
رده :
QA
76
.
L28
Vol
.
2300
3. Petri net algebra
پدیدآورنده : Best, Eike
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Parallel processing )Electronic computers(,، Computer science - Mathematics,، Petri nets
رده :
QA
76
.
58
.
B48
2001
4. Petri net algebra
پدیدآورنده : Eike Best; Raymond Devillers; Maciej Koutny
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science -- Mathematics.,Parallel processing (Electronic computers),Petri nets.
رده :
QA76
.
58
E354
2010
5. Petri net algebra
پدیدآورنده : Best, Eike
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Parallel processing )Electronic computers(,، Computer science-- Mathematics,، Petri nets
رده :
QA
76
.
58
.
B48
2001
6. Transactions on Petri Nets and Other Models of Concurrency X
پدیدآورنده : \ Maciej Koutny, Jörg Desel, Serge Haddad (eds.).
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Petri nets -- Congresses.,Computer science -- Mathematics -- Congresses.,Computer science.,شبکه‌های پتری -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,علوم کامپیوتر
رده :
QA267
.
T71
2015
E-Book
,
7. Transactions on petri nets and other models of concurrency VII
پدیدآورنده : Kurt Jensen [and others] (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science -- Mathematics -- Congresses.,Petri nets -- Congresses.,Software.
رده :
QA267
.
K878
2013
